completely simple semigroup

[数] 完全简单半群